propositional calculus
noun
: the branch of symbolic logic that uses symbols for unanalyzed propositions and logical connectives only
called also sentential calculus
compare predicate calculusLove words? Need even more definitions?
Merriam-Webster unabridged
Share